🧩 Constraint Programming - nmarshall · Scour

A Dumb Introduction to z3 ∀Lean4

ar-ms.me·1d·Lobsters, Hacker News

Reframing Data Assembly: pydantic-resolve vs SQLAlchemy ORM ⚙️DataFusion

allmonday.github.io·4h·Hacker News

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti ⚡Tokio

github.com·6d·Hacker News

Show HN: We fine-tuned an AI model for log search 🏗️AI Infrastructure

thedex.run·6h·Hacker News

Declarative linear and radial gradients 🔥PyTorch

infinitecanvas.cc·2d

What Comes After Vibe Coding 🤖AI Coding Tools

blog.bijup.com·22h·Hacker News

Interpolation Search 🐻‍❄️Polars

en.wikipedia.org·5d·Hacker News

Chip Industry Technical Paper Roundup: Apr. 14 ⚡Hardware Acceleration

semiengineering.com·21h

Fast and Easy Levenshtein distance using a Trie 🐻‍❄️Polars

stevehanov.ca·2d·Hacker News

Finding a parabola through two points with given slopes 📐Computational Geometry

johndcook.com·16h·Hacker News

Combining Rate and Instructions to Create Beautiful Madness 💾Cache Optimization

biggieblog.com·1d·Hacker News

BQN: Implementation of Ordering Functions 🌳B-Trees

mlochbaum.github.io·5d·Hacker News

RMANOV/sqlite-memory-mcp: SQLite-backed MCP Memory Server with WAL concurrent safety, FTS5 search, session tracking, task management, and cross-machine bridge sync 🗃️SQLite

github.com·10h·Hacker News

Useful Black Boxes 🧩Low-code

sethkim.me·1d·Hacker News

Show HN: API for 13M+ Indian court cases with citation graphs and vector search 📝NLP

vaquill.ai·14h·Hacker News

From bytecode to bytes: automated magic packet generation 🔓Binary Exploitation

blog.cloudflare.com·6d·Hacker News

Ever heard about declarative music? 🎛️Music Synthesis

aleksei.dev·1d

Show HN: Hotel MCP server for cash and points search/booking (free) 🧠AI

gondola.ai·15h·Hacker News

Sol-RL: FP4 Explore, BF16 Train 🌟Ray Tracing

nvlabs.github.io·2d·Hacker News

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets ⚙️CPU Microarchitecture

arxiv.org·5d·Lobsters, Hacker News

Loading more...